DTG-Plan:Fast Planning by Search in Domain Transition Graphs
نویسندگان
چکیده
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional STRIPS/ADL formalism, SAS+ is capable of capturing vital information such as domain transition structures and causal dependencies. DTG-Plan uses a new SAS+ based incomplete planning approach. Instead of using SAS+ to derive heuristics within a heuristic search, we directly search in domain transition graphs (DTGs) and causal graphs (CGs) derived from the SAS+ formalism.
منابع مشابه
Transition Constraints for Parallel Planning
We present a planner named Transition Constraints for Parallel Planning (TCPP). TCPP constructs a new constraint model from domain transition graphs (DTG) of a given planning problem. TCPP encodes the constraint model by using table constraints that allow don’t cares or wild cards as cell values. TCPP uses Minion the constraint solver to solve the constraint model and returns the parallel plan....
متن کاملSome Fixed Parameter Tractability Results for Planning with Non-Acyclic Domain-Transition Graphs
Bäckström studied the parameterised complexity of planning when the domain-transition graphs (DTGs) are acyclic. He used the parameters d (domain size), k (number of paths in the DTGs) and w (treewidth of the causal graph), and showed that planning is fixed-parameter tractable (fpt) in these parameters, and fpt in only parameter k if the causal graph is a polytree. We continue this work by cons...
متن کاملFast Planning by Search in Domain Transition Graphs∗
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional STRIPS/ADL formalism, SAS+ is capable of capturing vital information such as domain transition structures and causal dependencies. In this paper, we propose a new SAS+ based incomplete planning approach. Instead of usi...
متن کاملFast Planning by Search in Domain Transition Graph
Recent advances in classical planning have used the SAS+ formalism, and several effective heuristics have been developed based on the SAS+ formalism. Comparing to the traditional STRIPS/ADL formalism, SAS+ is capable of capturing vital information such as domain transition structures and causal dependencies. In this paper, we propose a new SAS+ based incomplete planning approach. Instead of usi...
متن کاملExploiting Path Refinement Abstraction in Domain Transition Graphs
Partial Refinement A-Star (PRA ) is an abstraction technique, based on clustering nearby nodes in graphs, useful in large path-planning problems. Abstracting the underlying graph yields a simpler problem whose solution can be used, by refinement, as a guide to a solution to the original problem. A fruitful way to view domain independent planning problems is as a collection of multi-valued varia...
متن کامل